Hubert Curien (1924–2005)

On untyped Curien-Herbelin calculus

We prove the confluence of λμe μT and λμe μQ, two well-behaved subcalculi of Curien and Herbelin’s λμe μ calculus, stable under call-byname and call-by-value reduction, respectively. Moreover, we study the semantics of λμe μ calculus, give the interpretation of λμe μT and λμe μQ using the category of negated domains and the Kleisli category. To the best of our knowledge, this is the first inter...

Hubert Wyers.

Limited, Murex, and the Cape Asbestos Company Limited. Thus in his work he was confronted by the numerous and varied medical hazards of the fine chemicals, metallurgical, and asbestos industries. To all the emerging problems he brought a wide and mature experience, which was enhanced by careful observation, accurate recording, and shrewd judgment. He made important contributions to knowledge of...

Hubert Liston Willcox

The death of Mr. Hubert Liston Willcox, of Warminster, at the early age of 36, occurred on Dec. 3rd, and was due to blood poisoning, resulting from a finger being scratched while assisting at an operation for acute peritonitis. He was educated at King's College Hospital, London, and took the qualifications of L.R.C.P. and M.R.C.S. in 1901. For the untimely loss of his son under such singularly ...

Optical metrology for immersed diffractive multifocal ophthalmic intracorneal lenses

P. Tankam Laboratoire Hubert Curien (UMR 5516 CNRS), Université de Lyon, Université Jean-Monnet, 42000, Saint-Etienne, France T. Lépine [email protected] Laboratoire Hubert Curien (UMR 5516 CNRS), Université de Lyon, Université Jean-Monnet, 42000, Saint-Etienne, France Institut d’Optique Rhône-Alpes 18 rue Benoı̂t Lauras 42000, Saint-Etienne, France F. Castignoles Presbeasy, Lyon...

Hubert Dreyfus: Humans Versus Computers